منابع مشابه
Refining Business Processes
In this paper we present a calculus for re nement of business process models based on a precise de nition of business processes and process nets Business process models are a vital concept for communicating with experts of the application domain Depending on the roles and responsibilities of the application domain experts involved process models are discussed on di erent levels of ab straction ...
متن کاملAn Approach to Modelling and Refining Timing Properties in B
The work described in this extended abstract is being undertaken as part of the EU-funded MATISSE project (IST-1999-11435). One of the major case studies of MATISSE involves the application of the B Method [2] to a railway control system. The emphasis of the work is on system-level modelling and analysis. This means we are not just modelling pieces of control software in B, but we are using B t...
متن کاملModelling and Refining Hybrid Systems in Event-B and Rodin
We outline an approach to modelling and reasoning about hybrid systems with the Event-B method supported by the Rodin toolset. The approach uses continuous functions over real intervals to model the evolution of continuous values over time. Nondeterministic interval events are used to specify how continuous variables evolve within an operating mode. Refinement is used to constrain the choice of...
متن کاملFrom Gamma to CBS: Refining Multiset Transformations with Broadcasting Processes
This paper presents a novel approach to the problem of implementing programs in Gamma, a computation model of chemical-reaction-like multiset transformations, by translating them into a process calculus with broadcasting communication, CBS. The concurrent message reception of broadcasting communication ts very naturally to the implicit parallelism of the Gamma model: A value that may trigger re...
متن کاملMultiphase Mass Transfer in Iron and Steel Refining Processes
In the present chapter, a computational fluid dynamics (CFD) model for multiphase flow was developed, allowing the simulation of two different processes, the desulfurization of hot metal in a ladle mechanically agitated by an impeller (KR process) and the desulfuri‐ zation of steel in a gas-agitated ladle. The model gives important information to charac‐ terize the fluid flow conditions, to def...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Materia Japan
سال: 1997
ISSN: 1340-2625,1884-5843
DOI: 10.2320/materia.36.239